This is the artifact for our OOPSLA'23 paper “Run-Time Prevention of Software Integration Failures of Machine Learning APIs)”. We hope this artifact can motivate and help future research to further tackle ML software defects
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact to accompany our OOPSLA 2023 submission on “Reusing Just-in-Time Compiled Code”...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
This artifact is for the paper entitled “MAAT: A Novel Ensemble Approach to Addressing Fairness and ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Artifact for "If security is required": Engineering and Security Practices for Machine Learning-base...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
Artifacts for the publication "Application Performance Monitoring for Service-Based AI-enabled Softw...
This is a research artifact for the paper Disrupting Software Ecosystems: Case Studies on the Impact...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact to accompany our OOPSLA 2023 submission on “Reusing Just-in-Time Compiled Code”...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...
This is the artifact for paper “Automated Testing of Software that Uses Machine Learning APIs” in IC...
This artifact is for the paper entitled “MAAT: A Novel Ensemble Approach to Addressing Fairness and ...
This is the software artifact for the paper "A Type System for Extracting Functional Specifications ...
It provides a VM that contains all the source code to performance experiments of the Fat Pointers fo...
This is the artifact that accompanies the OOPSLA 2020 paper "Programming and Reasoning with Partial ...
Artifact for "If security is required": Engineering and Security Practices for Machine Learning-base...
This is the artifact for the OOPSLA 2023 paper "Synthesizing Efficient Memoization Functions", inclu...
This artifact contains the source code, benchmarks, scripts, and documentation for reproduce the eva...
Artifact for ESEC/FSE paper entitled "23 Shades of Self-Admitted Technical Debt: An Empirical Study ...
Artifact for the paper 'Spirea: A Mechanized Concurrent Separation Logic for Weak Persistent Memory'...
Artifacts for the publication "Application Performance Monitoring for Service-Based AI-enabled Softw...
This is a research artifact for the paper Disrupting Software Ecosystems: Case Studies on the Impact...
This is the software artifact accompanying the paper "The Anchor Verifier for Blocking and Non-Block...
This is the artifact to accompany our OOPSLA 2023 submission on “Reusing Just-in-Time Compiled Code”...
This artifact complements the manuscript "Identifying Concepts in Software Projects". It contains al...